🦀 Rust Borrowing

Memory Safety, Ownership Models, Systems Programming, Compile-time Verification

A Rust Shaped Hole
mnvr.in·19h·
Discuss: Hacker News
🦀Rust Macros
RustNext: The Next.js-Inspired Web Framework for Rust
dev.to·14h·
Discuss: DEV
🦀Rust Macros
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·15h·
Discuss: Hacker News, r/programming
🔒Type Safety
Call for Testing: Speeding up compilation with `hint-mostly-unused`
blog.rust-lang.org·1d·
Discuss: Hacker News
🦀Rust Macros
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·1h
🔧RISC-V Assembler
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·1d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
The Best C++ Library
mcyoung.xyz·1d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Macros
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.org·2h
🧮Z3 Solver
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·15h·
Discuss: Lobsters, Hacker News
❄️Nixpkgs
Working with Rust is super fun coming from C++
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
A Rust shaped hole
ente.io·2d
🦀Rust Macros
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Bazel Knowledge: Beyond _deploy.jar for OCI images
fzakaria.com·2h
🔌Interface Evolution
Coroutines in C
hackaday.com·1d
🔩Systems Programming
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·16h
🦀Rust Verification
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·2d·
Discuss: r/programming
✅Format Verification
WebAssembly targets: The Change in Default Target-Features That You Need to Be Aware Of
hackernoon.com·4d
🔒Type Safety
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Parsing Safetensors File Format in C
leetarxiv.substack.com·15h·
Discuss: Substack, r/programming
✅Format Verification